Interacting Visual Abstractions of Programs
نویسندگان
چکیده
What visual program abstractions support program-ming? We explore this question for object-oriented programming with reference to programming tasks such as modiication engineering and program development. We present ten related abstractions (views) of a program using visual constructs based on empirical and observational studies. We explain the dynamic and interactive nature of the views and suggest how they would be used in programming tasks.
منابع مشابه
Identification of the underlying factors affecting information seeking behavior of users interacting with the visual search option in EBSCO: a grounded theory study
Background and Aim: Information seeking is interactive behavior of searcher with information systems and this active interaction occurs in a real environment known as background or context. This study investigated the factors influencing the formation of layers of context and their impact on the interaction of the user with search option dialoge in EBSCO database. Method: Data from 28 semi-stru...
متن کاملLearning Higher-Order Logic Programs through Abstraction and Invention
Many tasks in AI require the design of complex programs and representations, whether for programming robots, designing game-playing programs, or conducting textual or visual transformations. This paper explores a novel inductive logic programming approach to learn such programs from examples. To reduce the complexity of the learned programs, and thus the search for such a program, we introduce ...
متن کاملA Framework for Interacting with Distributed Programs and Data
The Distributed Array Query and Visualization (DAQV) project aims to develop systems and tools that facilitate interacting with distributed programs and data structures. Arrays distributed across the processes of a parallel or distributed application are made available to external clients via well-defined interfaces and protocols. Our design considers the broad issues of language targets, model...
متن کاملSpatial Aggregate: Theory and Application to Qualitative Physics
EEective reasoning about a physical system requires an appropriate mapping from the system characteristics to abstractions that match the impedance of the task at hand. In Qualitative Physics, three ontological abstractions are widely used: device, process, and constraint. We present a framework and a new ontological abstraction, the eld ontology, to unify many reasoning tasks involving image-l...
متن کاملModel-Checking Parameterized Concurrent Programs Using Linear Interfaces
We consider the verification of parameterized Boolean programs— abstractions of shared-memory concurrent programs with an unbounded number of threads. We propose that such programs can be model-checked by iteratively considering the program under k roundrobin schedules, for increasing values of k, using a novel compositional construct called linear interfaces that summarize the effect of a bloc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1993